1. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
